P. B. Downing; VII.—Subjunctive Conditionals, Time Order, and Causation, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 125–140.

Greek ontology eventually developed a notion variously described as ‘timeless’, ‘atemporal’, or ‘non-durational’ eternity. In Proclus and Simplicius it is already a school-commonplace, with a stable vocabulary in which aiōn is sharply distinguished from what is merely aïdios. Plotinus had perfected this notion beforehand, believing not only that he found it in Plato, but that Plato had developed it on Parmenidean grounds.

Social and political scientists, historians and others, have put forward a number of widely differing views concerning the ‘character’ of Islamic millenarian and/or Mahdist movements in Africa. The same is true of course with regard to the opinions ofscholars concerning the transformative capacity of Islam as an ideology. In this paper I want to look at one aspect only of Islamic millenarianism in the West African context, viz. its allegedly revolutionary character.

Originally published in 1969. This book explains what is wrong with the traditional methodology of "inductive" reasoning and shows that the alternative scheme of reasoning associated with Whewell, Pierce and Popper can give the scientist a useful insight into the way he thinks.

We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)